void learner_deliver();
double getMicroseconds();
void multicaster_deliver(paxos_msg * mm);
void recv_new_packet(int sd, short event, void * arg);
void recv_lost_packet(int sd, short event, void *arg);
void traveres_for_gaps();
